Finitary Power Semigroups of Infinite Groups Are Not Finitely Generated
نویسنده
چکیده
For a semigroup S the finitary power semigroup of S, denoted Pf (S), consists of all finite subsets of S under the usual multiplication. The main result of this paper asserts that Pf (G) is not finitely generated for any infinite group G.
منابع مشابه
The Bergman property for semigroups
In this article, we study the Bergman property for semigroups and the associated notions of cofinality and strong cofinality. A large part of the paper is devoted to determining when the Bergman property, and the values of the cofinality and strong cofinality, can be passed from semigroups to subsemigroups and vice versa. Numerous examples, including many important semigroups from the literatur...
متن کاملOn finitely related semigroups
An algebraic structure is finitely related (has finite degree) if its term functions are determined by some finite set of finitary relations. We show that the following finite semigroups are finitely related: commutative semigroups, 3-nilpotent monoids, regular bands, semigroups with a single idempotent, and Clifford semigroups. Further we provide the first example of a semigroup that is not fi...
متن کاملOn trivial ends of Cayley graph of groups
In this paper, first we introduce the end of locally finite graphs as an equivalence class of infinite paths in the graph. Then we mention the ends of finitely generated groups using the Cayley graph. It was proved that the number of ends of groups are not depended on the Cayley graph and that the number of ends in the groups is equal to zero, one, two, or infinity. For ...
متن کاملOn Finitely Presented Expansions of Computably Enumerable Semigroups
Every computable universal algebra has a finitely presented expansion, but there are examples of finitely generated, computably enumerable universal algebras with no finitely presented expansions. It is natural to ask whether such examples can be found in well-known classes of algebras such as groups and semigroups. In this paper, we build an example of a finitely generated, infinite, computabl...
متن کاملOn bases of identities for the ω-variety generated by locally testable semigroups∗
In this paper, we exhibit an infinite basis of ω-identities for the ω-variety generated by the pseudovariety LSl, of semigroups which are locally semilattices, and we show that this ω-variety is not finitely based.
متن کامل